Wordnet angielsko-polski

(a logical relation between propositions p and q of the form `if p then q'
if p is true then q cannot be false)
implikacja
synonim: implication
synonim: conditional relation